Nuprl Definition : w-time 0,22

time(e) == 2of(e
latex



clarification:

w-time(we) == 2of(e
latex


Definitions2of(t)
FDL editor aliasesw-time

origin